Hypothetical reasoning in logic programs
نویسندگان
چکیده
منابع مشابه
A Logic for Hypothetical Reasoning
This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an alternative logic for this purpose. The paper focuses on a form of hypothetical reasoning which appears computationally tractable. Specifically, Horn-clause logic is augmented with rules, called embedded implications, which can hypothetically add atomic formulas to a rulebase. By introducing the no...
متن کاملHypothetical Reasoning with Intuitionistic Logic
This paper addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they reason eeectively about the world as it is, they are poor at tasks such as planning and design, where one must explore the consequences of hypothetical actions and possibilities. To address this limitation, this paper presents a logic-programming language in which a user can cr...
متن کاملEpistemic Reasoning in Logic Programs
Although epistemic logic programming has an enhanced capacity to handle complex incomplete information reasoning and represent agents’ epistemic behaviours, it embeds a significantly higher computational complexity than non-disjunctive and disjunctive answer set programming. In this paper, we investigate some important properties of epistemic logic programs. In particular, we show that Lee and ...
متن کاملHypothetical Reasoning and Definitional Reflection in Logic Programming
This paper describes the logical and philosophical background of an extension of logic programming which uses a general schema for introducing assumptions and thus presents a new view of hypothetical reasoning. The detailed proof theory of this system is given in [7], matters of implementation and control of the corresponding programming language GCLA with detailed examples can be found in [1, ...
متن کاملHypothetical-Reasoning and Radical Non-constituent Coordination in Categorial Logic
The paper investigates the connection between non-constituent coordination, as implemented in categorial grammar by means of a polymorphic type-assignment to lexical conjunctions, and hypothetical reasoning in Categorial Logics. A way of extending the logic is suggested, so that coordination can be applied to types depending on undischarged assumptions. By a certain \resource manipulation" of a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1994
ISSN: 0743-1066
DOI: 10.1016/0743-1066(94)90043-4